What are the implications of Colton Gordon's addition to the Astros' roster for their pitching depth?